A criterion for separating process calculi

We introduce a new criterion, replacement freeness, to discern the relative expressiveness of process calculi. Intuitively, a calculus is strongly replacement free if replacing, within an enclosing context, a process that cannot perform any visible action by an arbitrary process never inhibits the capability of the resulting process to perform a visible action. We prove that there exists no compositional and interaction sensitive encoding of a not strongly replacement free calculus into any strongly replacement free one. We then define a weaker version of replacement freeness, by only considering replacement of closed processes, and prove that, if we additionally require the encoding to preserve name independence, it is not even possible to encode a non replacement free calculus into a weakly replacement free one. As a consequence of our encodability results, we get that many calculi equipped with priority are not replacement free and hence are not encodable into mainstream calculi like CCS and pi-calculus, that instead are strongly replacement free. We also prove that variants of pi-calculus with match among names, pattern matching or polyadic synchronization are only weakly replacement free, hence they are separated both from process calculi with priority and from mainstream calculi.Comment: In Proceedings EXPRESS'10, arXiv:1011.601

Identification of histone deacetylase inhibitors with (arylidene)aminoxy scaffold active in uveal melanoma cell lines

Uveal melanoma (UM) represents an aggressive type of cancer and currently, there is no effective treatment for this metastatic disease. In the last years, histone deacetylase inhibitors (HDACIs) have been studied as a possible therapeutic treatment for UM, alone or in association with other chemotherapeutic agents. Here we synthesised a series of new HDACIs based on the SAHA scaffold bearing an (arylidene)aminoxy moiety. Their HDAC inhibitory activity was evaluated on isolated human HDAC1, 3, 6, and 8 by fluorometric assay and their binding mode in the catalytic site of HDACs was studied by molecular docking. The most promising hit was the quinoline derivative VS13, a nanomolar inhibitor of HDAC6, which exhibited a good antiproliferative effect on UM cell lines at micromolar concentration and a capability to modify the mRNA levels of HDAC target genes similar to that of SAHA

Poetry

After distinguishing poetic procedures from poetry in a strict sense, some formal features of poetically organized discourse (POD) are described, such as its links with music, metric typology, and aspects of poetic languages. Poetry proper is seen as a cultural choice by listeners or readers who regard a text as poetic. The authors discuss kinds of POD not regarded as poetry and intermediate forms with prose and plain discourse. The chapter closes with a discussion of how and when poetry proper is produced and circulated

Well founded semantics for logic program updates

Abstract. Over the last years various semantics have been proposed for dealing with updates of logic programs by (other) logic programs. Most of these various semantics extend the stable models semantics of normal, extended (with explicit negation) or generalized (with default negation in rule heads) logic programs. In this paper we propose a well founded semantics for logic programs updates. We motivate our proposal with both practical and theoretical argumentations. Various theoretical results presented here show how our proposal is related to the stable model approach and how it extends the well founded semantics of normal and generalized logic programs.